Hartmut Ehrig
8 publications
1 venues
H Index 4
Affiliation
Technical University of Berlin, Department of Mathematics, GermanyLinks
DBLP- http://www.tfs.tu-berlin.de/menue/home/team/ehrig_hartmut_prof/
- https://dl.acm.org/profile/81100361255
- https://zbmath.org/authors/?q=ai:ehrig.hartmut
- https://www.wikidata.org/entity/Q59533260
- https://en.wikipedia.org/wiki/Hartmut_Ehrig
- https://d-nb.info/gnd/107905582
- https://id.loc.gov/authorities/names/n79131463
- https://mathgenealogy.org/id.php?id=19791
- https://ieeexplore.ieee.org/author/37390685600
- https://mathscinet.ams.org/mathscinet/MRAuthorID/62115
| Name | Venue | Year | citations |
|---|---|---|---|
A Match Operation for Rule-Based Modular System Design.
|
ADT | 1990 | 4 |
| Algebraic Theory of Modular Specification Development.
|
ADT | 1988 | 11 |
| Algebraic Data Type and Process Specifications based on Projection Spaces.
|
ADT | 1987 | 0 |
| Towards an Algebraic Semantics of the ISO Specification Language LOTOS.
|
ADT | 1986 | 6 |
| Towards Abstract User Interfaces for Formal System Specifications.
|
ADT | 1984 | 4 |
| ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
|
ADT | 1983 | 116 |
| ACT - Algebraic Specification Technique for the Correct Design of Reliable Software Systems.
|
ADT | 1982 | 1 |
| Parameterized Data Types and Parameter Passing.
|
ADT | 1982 | 2 |